How to Install lbt software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install lbt software package in Ubuntu 14.04 LTS (Trusty Tahr)

lbt software package provides converts from LTL formulas to B?chi automata, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install lbt 

lbt is installed in your system.

Make ensure the lbt package were installed using the commands given below,

$ sudo dpkg-query -l | grep lbt *

You will get with lbt package name, version, architecture and description in a table

lbt package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package lbt
Version 1.2.2-5
Description converts from LTL formulas to B?chi automata
Sub Section math


See Also, How to uninstall or remove lbt software package from Ubuntu 14.04 LTS (Trusty Tahr)?